More from this Author
Found 16 books by Bernhard Steffen (Editor)
Tools and Algorithms for the Construction and Analysis of Systems
by Dirk Beyer (Editor), Marieke Huisman (Editor), Fabrice Kordon (Editor), Bernhard Steffen (Editor)
Leveraging Applications of Formal Methods, Verification and Validation
by Tiziana Margaria (Editor), Bernhard Steffen (Editor)
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
by Tiziana Margaria (Editor), Bernhard Steffen (Editor)
Tools and Algorithms for the Construction and Analysis of Systems
by Tiziana Margaria (Editor), Bernhard Steffen (Editor)
Computing and Software Science
by Bernhard Steffen (Editor), Gerhard Woeginger (Editor)
Transactions on Foundations for Mastering Change I
by Bernhard Steffen (Editor)
Tools and Algorithms for the Construction and Analysis of Systems
by Bernhard Steffen (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)
Verification, Model Checking, and Abstract Interpretation
by Bernhard Steffen (Editor), Giorgio Levi (Editor)
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
by Tiziana Margaria (Editor), Bernhard Steffen (Editor)
SOFSEM 2017: Theory and Practice of Computer Science
by Bernhard Steffen (Editor), Christel Baier (Editor), Mark van den Brand (Editor), Johann Eder (Editor), Mike Hinchey (Editor), Tiziana Margaria (Editor)
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
by Tiziana Margaria (Editor), Bernhard Steffen (Editor)
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
by Tiziana Margaria (Editor), Bernhard Steffen (Editor)
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
by Tiziana Margaria (Editor), Bernhard Steffen (Editor)
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
by Tiziana Margaria (Editor), Bernhard Steffen (Editor)
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
by Tiziana Margaria (Editor), Bernhard Steffen (Editor)
Leveraging Applications of Formal Methods, Verification, and Validation
by Reiner Hähnle (Editor), Jens Knoop (Editor), Tiziana Margaria (Editor), Dietmar Schreiner (Editor), Bernhard Steffen (Editor), Reiner Hähnle (Editor)